Three challenges in machine-based reasoning
amazon.science·16m·
Discuss: Hacker News
🧮Theorem Proving
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·1h
📏Linear Logic
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Show HN: Virtual Ontologies with Claude Code
medium.com·4h·
Discuss: Hacker News
🧮Datalog
Differentiable Economics: Strategic Behavior, Mechanisms, and Machine Learning
cacm.acm.org·16h
🔲Cellular Automata
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs
OpenAI releases its first open-weight language models since GPT-2 with GPT-oss
the-decoder.com·12h
🔓Open Source Software
A Beginner's Guide to Skyline Queries
hackernoon.com·10h
📏Range Queries
Understanding Information Gain: Choosing the Right Questions
dev.to·4h·
Discuss: DEV
🧠Machine Learning
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·1h
✨Effect Handlers
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
💻Local LLMs
LLMs Have a Heart of Stone: Demystifying the Soft Thinking Ability of Large Reasoning Models
arxiv.org·1h
🧠Intelligence Compression
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·1h
📊Learned Metrics
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·1d
🧮Datalog
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·1d·
Discuss: Hacker News
📊Citation Graphs
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·1h
🎯Dependent Parsing
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory